2种侧围加强内框总成检具结构对比分析

概述了侧围加强内框总成与周边零件的匹配关系,从检具操作的人机工程出发,描述了侧围加强内框总成检具的2种定位方式和结构设计,对比了2种定位方式对于检测结果的影响,总结了其优点和弊端,结果表明侧围加强内框总成检具采用车内方向朝下的定位方式效果更好。     

疫情下电磁场理论课程的网络教学

本文主要总结了新冠疫情期间作者的电磁场理论课程在线教学经验。对比分析了录播和直播的优缺点后,选择录播教学方式。基于超星网络教学平台,展示了录播网络教学的具体措施,包括网上答疑和学习效果检查以及在线批改作业等。给出了网络教学可以为线下教学继续使用的方法和手段,为疫情结束后的正常教学提供了新的网络教学补充措施。     

The Effect of Non-Thermal Plasma on the Structural and Functional Characteristics of Human Spermatozoa

Significant antibacterial properties of non-thermal plasma (NTP) have converted this technology into a promising alternative to the widespread use of antibiotics in assisted reproduction. As substantial data available on the specific in vitro effects of NTP on male reproductive cells are currently missing, this study was designed to investigate selected quality parameters of human spermatozoa (n = 51) exposed to diffuse coplanar surface barrier discharge NTP for 0 s, 15 s, 30 s, 60 s and 90 s. Sperm motility characteristics, membrane integrity, mitochondrial activity, production of reactive oxygen species (ROS), DNA fragmentation and lipid peroxidation (LPO) were investigated immediately following exposure to NTP and 2 h post-NTP treatment. Exposure to NTP with a power input of 40 W for 15 s or 30 s was found to have no negative effects on the sperm structure or function. However, a prolonged NTP treatment impaired all the sperm quality markers in a time- and dose-dependent manner. The most likely mechanism of action of high NTP doses may be connected to ROS overproduction, leading to plasma membrane destabilization, LPO, mitochondrial failure and a subsequent loss of motility as well as DNA integrity. As such, our findings indicate that appropriate plasma exposure conditions need to be carefully selected in order to preserve the sperm vitality, should NTP be used in the practical management of bacteriospermia in the future.     

ZK60镁合金表面滚压强化试验研究

试验研究了ZK60镁合金表面滚压加工中工艺参数对试件表面粗糙度、表面形貌、表面残余应力和表层显微硬度的影响,结果表明滚压力和重复滚压次数对试件的表面粗糙度、表面形貌以及表面残余应力和表层硬度影响程度较大,滚压速度影响较小。对精车ZK60镁合金试件进行滚压加工,试件表面粗糙度R a、R z最大减小了50.3%和48.1%;残余压应力最大可达-54.55 MPa;显微硬度从试件表层到内部基体材料逐渐降低,表层硬度值最大为92.83 HV 0.25,比基体材料硬度提高了15.32%。     

ZL109铝合金车削表面完整性实验研究

设计了三因素四水平正交车削实验,综合运用极差分析、方差分析等方法,研究了切削参数对硅铝合金ZL109车削表面完整性的影响规律,得到了切削参数对于表面粗糙度、残余应力和显微硬度的影响程度和趋势,分析了ZL109车削表面完整性的形成机理,以期为切削参数优选提供实验和理论基础。研究结果表明,进给量f对表面粗糙度具有显著影响,切削速度v和进给量f增加会导致表面残余拉应力增大,显微硬度受切削参数的影响较小。     

基于哈希链的软件定义网络路径安全

针对软件定义网络中，控制器无法保证下发的网络策略能够在转发设备上得到正确执行的安全问题，提出一种新的转发路径监控安全方案。首先以控制器的全局视图能力为基础，设计了基于OpenFlow协议的路径凭据交互处理机制；然后采用哈希链和消息验证码作为生成和处理转发路径凭据信息的关键技术；最后在此基础上，对Ryu控制器和Open vSwitch开源交换机进行深度优化，添加相应处理流程，建立轻量级的路径安全机制。测试结果表明，该机制能够有效保证数据转发路径安全，吞吐量消耗比SDN数据层可信转发方案（SDNsec）降低20%以上，更适用于路径复杂的网络环境，但时延和CPU使用率的浮动超过15%，有待进一步优化。     

Model checking temporal knowledge and commitments in multi-agent systems using reduction

Though modeling and verifying Multi-Agent Systems (MASs) have long been under study, there are still challenges when many different aspects need to be considered simultaneously. In fact, various frameworks have been carried out for modeling and verifying MASs with respect to knowledge and social commitments independently. However, considering them under the same framework still needs further investigation, particularly from the verification perspective. In this article, we present a new technique for model checking the logic of knowledge and commitments (CTLKC⁺). The proposed technique is fully-automatic and reduction-based in which we transform the problem of model checking CTLKC⁺ into the problem of model checking an existing logic of action called ARCTL. Concretely, we construct a set of transformation rules to formally reduce the CTLKC⁺ model into an ARCTL model and CTLKC⁺ formulae into ARCTL formulae to get benefit from the extended version of NuSMV symbolic model checker of ARCTL. Compared to a recent approach that reduces the problem of model checking CTLKC⁺ to another logic of action called GCTL¹, our technique has better scalability and efficiency. We also analyze the complexity of the proposed model checking technique. The results of this analysis reveal that the complexity of our reduction-based procedure is PSPACE-complete for local concurrent programs with respect to the size of these programs and the length of the formula being checked. From the time perspective, we prove that the complexity of the proposed approach is P-complete with regard to the size of the model and length of the formula, which makes it efficient. Finally, we implement our model checking approach on top of extended NuSMV and report verification results for the verification of the NetBill protocol, taken from business domain, against some desirable properties. The obtained results show the effectiveness of our model checking approach when the system scales up.     

Model repair — aligning process models to reality

Process mining techniques relate observed behavior (i.e., event logs) to modeled behavior (e.g., a BPMN model or a Petri net). Process models can be discovered from event logs and conformance checking techniques can be used to detect and diagnose differences between observed and modeled behavior. Existing process mining techniques can only uncover these differences, but the actual repair of the model is left to the user and is not supported. In this paper we investigate the problem of repairing a process model w.r.t. a log such that the resulting model can replay the log (i.e., conforms to it) and is as similar as possible to the original model. To solve the problem, we use an existing conformance checker that aligns the runs of the given process model to the traces in the log. Based on this information, we decompose the log into several sublogs of non-fitting subtraces. For each sublog, either a loop is discovered that can replay the sublog or a subprocess is derived that is then added to the original model at the appropriate location. The approach is implemented in the process mining toolkit ProM and has been validated on logs and models from several Dutch municipalities.     

一款紧凑增强型可变阻抗电磁带隙结构

基于传统AI-EBG结构,提出了一种小尺寸的增强型电磁带隙结构,实现了从0.5~9.4 GHz的宽频带-40 dB噪声抑制深度,且下截止频率减少到数百MHz,可有效抑制多层PCB板间地弹噪声。文中同时研究了EBG结构在高速电路应用时的信号完整性问题,使用差分信号方案可改善信号完整性。     

Influences of chip serration on micro-topography of machined surface in high-speed cutting

Saw-tooth chip changes from macroscopically continuous ribbon to separated segments with the increase of cutting speed. The aim of this study is to find the correlations between chip morphology and machined surface micro-topography at different chip serration stages encountered in high speed cutting. High strength alloy steel AerMet100 was employed in orthogonal cutting experiments to obtain chips at different serration stages and corresponding machined surfaces. The chips and machined surfaces obtained were then examined with optical microscope (OM), scanning electron microscope (SEM), and white light interferometer (WLI). The result shows that chip serration causes micro-waves on machined surface, which increases machined surface roughness. However, wave amplitudes (surface roughness) at different serration stages are different. The principal factor influencing wave amplitude is the thickness of the sawed segment (tooth) of saw-tooth chip. With cutting parameters in this study, surface roughness contributed by chip serration ranges from 0.39 μm to 1.85 μm. This may bring on serious problems in the case of trying to replace grinding with high-speed cutting in rough machining. Some suggestions have been proposed to control the chip serration-caused surface roughness in high-speed cutting based on the results of the current study.